[IA64] add perfcounter for vTLB flush.
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Tue, 3 Oct 2006 03:34:47 +0000 (21:34 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Tue, 3 Oct 2006 03:34:47 +0000 (21:34 -0600)
commitca278a6abd56b8ef3c630d2b4ccc67102897859f
tree34b8e222ed265dcd71aec2d7088a8ba4d4103ba2
parente39bb5c4df81e4c8f05cf9ba48aaebe355f4971f
[IA64] add perfcounter for vTLB flush.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/domain.c
xen/arch/ia64/xen/vhpt.c
xen/include/asm-ia64/perfc_defn.h